$\forall$$T$:(Id$\rightarrow$Type), ${\it tab}$:secret{-}table($T$), ${\it keyv}$:(:($\mathbb{N}$ + Atom1) $\times$ data($T$)).
\\[0ex]$\parallel$encrypt(${\it tab}$;${\it keyv}$)$\parallel$  = $\parallel$${\it tab}$$\parallel$  $\in$ $\mathbb{Z}$